$\forall$${\it the\_w}$:World. Msg $\in$ Type